25 ideas
9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |
9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |